面白そうだから読んでみた
p.10のTiは(2m+1)が現れるからといって(2m+1)＊整数ではない気がします
それに付随してp.10の下から3行目の4m...の式は整数なんでしたっけ?
同様にその下の任意のnで...も具体的な値で議論したことが成り立たなそうなので解説が欲しいです
(上の>>659で指摘されたことが解決してないと思われます)

あと読んでて何が主張で何が仮定なのかちょっと分かりずらかった
せめて小さい証明すべきことはLemmaでまとめて欲しい