15/03/06 07:57:19.72 AVlvxq7S.net
>>360
＞(例えば、>>353のCase1-1の考え方は、m、n∈Z＼{0}がm^2≡0 (mod n)を満たすとき
＞nに対して或るk∈N＼{0}が存在してn＝±k^2となることの証明に使える)。
何を言ってるかよく分からないのだが、m、n∈Z＼{0}がm^2≡0 (mod n)を満たしていても、
n＝±k^2が成り立つとは必ずしも限らない。たとえば、nが素数の場合を考えればよい。
n＝3, m＝3 とか。このとき、m^2≡0 (mod n)が成り立つのに、n＝±k^2を満たすkは存在しない。
Case1-1の間違いはリサイクルすら不可能ってこと。