Proof by Complete Finite Induction