18/09/24 22:02:08.68 xTjzda9U.net
>>263
>範囲の問題ではないのです。
範囲の問題です。X⇒Yは「Xを満たす範囲はYを満たす範囲に含まれる」です。
それが数学的定義と言って差し支えありません。
>全てのpで成立するというのは、全てのpでこのpに対応する奇数の完全数yが存在するということです。
D=0 ⇒ “Dp^2 -D=0 は全ての素数 p で成立”
これは正しい。
しかしだからといって
“D=0” ⇒ “∃y 奇数の完全数 p は y の multiplicity 奇数の素因子”
になりませんよ？
だってあなた
Dp^2 -D=0” ⇒ “∃y 奇数の完全数 p は y の multiplicity 奇数の素因子”
なんて証明してないでしょ？
あなたが証明したのは
“∃y 奇数の完全数 p は y の multiplicity 奇数の素因子” ⇒ Dp^2 - D = 0
ですよ？
逆の証明なんてしてないでしょ？