явная секвенция

Мат. explicit sequent