How to write out proofs by induction