1.8 Induction

Strong Induction