General Principle of Mathematical Induction