2. a :
3. z :
4. m : {a...z-1}
5. s1 : {a...m}
{1...n}Peg
6. s2 : {m+1...z}
{1...n}Peg
7.
k:{1...n}. Moving disk k of n takes s1(m) to s2(m+1)
8. s1 is a Hanoi(n disk) seq on a..m
9. s2 is a Hanoi(n disk) seq on m+1..z
10. x : {a...z}
11. x' : {a...z}
12. x+1 = x'
13. x>m
k:{1...n}. Moving disk k of n takes s2(x) to s2(x')
