>>62
現在の証明で反証しないと意味がない。それは間違いを認めている。

>>63
嘘は書かなくていい。過去の版の間違った反論に何故私がそれにレスをしなければならないのか
意味不明だ。端的に言って、合同算術の基礎を分かっていない人間が何を書いているのか？
＞∏_{k≠i}(M － a_k p_{n+k}) = b_i p_{n+i} + 2^r M^{r－2}
こうおけるのは当たり前だ。この式の前の式は、変数を変えて簡単に書くと、pを素数として
(a-b)M≡0 (mod p)∧M≢0 (mod p)
となるときに
a-b≡0 (mod p)であり、a=cp+bと表される。この程度の事だ。このような簡単な事も
分からない人間が何下らない長文を書いているのか？笑止千万だ。ゴミAIのレスかもしれないが。