Lecture 02 - Proof by Induction - the Induction Step