Template:Induction theorem