証明がわかりにくい大きな理由として、著者自身、その定理が良くわかってないと
いうのがある。

手段を選ばない証明と、明快な証明というのは当然異なる。