Proof By Induction (and other Algebra Proofs)