natural induction

Мат. натуральная индукция