18/10/05 00:01:07.32 FzX1N6bW.net
＞D=0 ⇒ ∀p[Dp^2-D=0] なので ∀p となり、よって ∀p[p=4q+1] となる
ヒドスw
でも確かに>>1の言ってることはまさしくこれだ
18/10/05 00:01:07.32 FzX1N6bW.net
＞D=0 ⇒ ∀p[Dp^2-D=0] なので ∀p となり、よって ∀p[p=4q+1] となる
ヒドスw
でも確かに>>1の言ってることはまさしくこれだ
18/10/05 00:01:07.32 FzX1N6bW.net
＞D=0 ⇒ ∀p[Dp^2-D=0] なので ∀p となり、よって ∀p[p=4q+1] となる
ヒドスw
でも確かに>>1の言ってることはまさしくこれだ