>>304
さらに、x (x > t)を整数として、B′t
,B′t+1,…,
Bxの操作[掛け算]を行い最終的にR = 1になるとする。
…
矛盾する


これ以外にも見受けらるけど、相変わらず追加的仮定を増やして矛盾させてるけど
それは示したい命題を背理法で示したことにならない
これは200版の時点で指摘されてたけど、改善の兆しもない