このスレ歴浅いので良くわからんのだけど私の指摘は多分最初じゃないんだろう。
>>1　「2m+1はTiの約数である。よって2m+1の素因子はすべてp1〜prのいずれかでなければならない。」
だれか「2m+1はTiの約数でないケースあるじゃん。」
>>1　 (ほんとだ。”約数” だとまずいな。ここは言葉をかえて)
　　　「2m+1はTiの因子である。∵Ti = (2m+1)Uiとなる有理数があるから。」

……それだと後の議論が破綻するのもお構いなしという “木を見て森を見ず” な対応をしてきたんだろうなぁ。