最終的に証明が完成したので公開します。

パスワードはodd prime

証明論文 (日本語)
http://whitecats.dip.jp/up/download/1614828662/attach/1614828662.pdf