индукционный предикат

Мат. induction predicate