recursive invariance

Мат. рекурсивная инвариантность