HomeGudieProof by induction examples pdf