>なんだかわからないけど、証明を書き直すことはかたくなに拒否するんだよなあ。

書き直すと、混乱するからです。できるだけ、単純にしました。