Proof by Finite Induction