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

投稿前に計算ミスがないかどうかのチェックをしていたら…精度が増してしまった。 書き直さなくちゃ〜。あ、そういえば、無事、卒業してきました。