Template:Induction proof