moves top
n
?1 disks from
i
to
a
apply towers(n - 1,i,f,a)