4.4 Proving
4.4.1 Help! Proving is difficult!
4.4.2 How can I do a Proof by Induction?
4.4.3 What do the labels on the proof tree mean?