basic induction principle

[ریاضیات] اصل استقرای اساسی