Steps for the 1-13 proof
Exercise 1-16, not sure if my process is iterative... ^^
Tetration is not exponentiation!