двойная индукция

Мат. double induction