15/03/07 08:16:58.05 /NeL5nxq.net
>>359
>>360の
>(例えば、>>353のCase1-1の考え方は、m、n∈Z＼{0}がm^2≡0 (mod n)を満たすとき
>nに対して或るk∈N＼{0}が存在してn＝±k^2となることの証明に使える)。
の部分は条件が必要にで、この部分は取り下げ。
15/03/07 08:16:58.05 /NeL5nxq.net
>>359
>>360の
>(例えば、>>353のCase1-1の考え方は、m、n∈Z＼{0}がm^2≡0 (mod n)を満たすとき
>nに対して或るk∈N＼{0}が存在してn＝±k^2となることの証明に使える)。
の部分は条件が必要にで、この部分は取り下げ。