1. シーケント内の論理式から任意の論理記号$を消すにはカット規則を使わざるをえない
2. カット規則無しでも証明できる
3. シーケントに$が増えるのは$右または$左のどちらかを使ったときにに限る

よって、結論のシーケントに$が入っていないなら$右または$左の両方を1度も使わずに証明していなければならない