>>1が因子の意味は通常の意味でそしてその意味でm+1がC[n+1,i] = C[3m+2,i]の因子という主張を成立させられる定義はmを自由変数とみてQ[m]の意味で考えるしかない。
少なくともこれだけ定義を要求して出てこないんだから最大限好意的に解釈してもうこれしかない。
となるとp12～p13あたりで得られている結論はすべてQ[m]係数のお話。
すると度々出てくる
2m + 1 = wpr^(qr－cr－1) …⑩ (∃ w)
というのがあるけど、これも
2m + 1 = wpr^(qr－cr－1) …⑩ (∃ w∈Q[m])
という主張にすぎない。
このあと “⑩より” といってる議論が連発するけどそれらも全部 Q[m] 上での議論にすぎない。