カット規則
$ \Gamma \vdash A
と
$ A \vdash \Sigma
が成立するなら
$ \Gamma \vdash \Sigma
補題
$ A
を通して全体を証明可能なら，その補題はカットできる