Proof by Induction by José Pablo Iriarte