if the following are true:

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

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