A1: Proof by Induction