верифицируемая формула

Мат. verifiable formula