Call the introductory proofs for 1.13 lemmas, not theorems
Attempt to improve the proof for 1.13

Adds a bit more rigour to the last bit about powers of psi always being
less than 1/2