User:JonathanBailey/sandbox

Proof by Induction
This is one.