Proof.Induction

genInduction