if the following are true:

• the element at index src of stack towers = src_tower
• get subtowersrc_tower = sub_tower
• length of sub_tower is even

then towers of hanoi towers = towers of hanoi top disks towers