recursively true

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