provable formula

Доказуемая формула