Template:Induction-based proof method survey article