今日も論文修正。カット除去の証明を付け加えてみる・・・ほとんど自明だけど。