Induction

From MATH135

todo