Proof by Induction

TODO