小平邦彦さんのp.109例3.1の証明を読んでみましたが、証明の一番最後のところの議論が
むちゃくちゃ分かりにくかったです。

もっと議論を分かりやすくできるはずです。