recursive predicate

Мат. рекурсивный предикат