Proof by General Induction