Proofs by induction