double mathematical induction

[ریاضیات] استقرای دوگانه ی ریاضی