индукция спуска

Лог. descending induction