何か誤解してるような、、
あくまでも証明を形式的に書いたときにCutは要らないってだけで、
要するに捕題として別の命題を立てなくても証明は（原理的には）書けるお
ってだけなような

＞仮定にも結論にもない概念（抽象的でスマソ）はすべて証明図から取り除ける
って拡大解釈しすぎな気がする

まあちょっとスレ違い気味だけど、、