negative sequent

Мат. негативная секвенция