Starting the Hanoi proof