1.15.2 Proof by induction (differentiation)