provable sequent

Мат. доказуемая секвенция