>>367
＞またcutを除去すると証明は甚だ重複の多い読みにくいものになる。
え？cutを除去したら、無駄のない証明になるんでないの？