if the following are true:

• the element at index src of stack towers = [ 1, rest ]
• the element at index dst of stack towers = dst_tower

then towers of hanoi top towers = move disk towers is even