simplify

式の対称性に注目すると, 結果として証明が超シンプルになり, ページ数が４ページも削減されてしまいました。
改訂版への更新は起きてからやることにします。