проверяемая формула

Мат. verifiable formula