Template:Proof by induction