>>748
k, m, n を 3 を因数に持たない自然数とすると、
k^2 ≡ m^2 ≡ n^2 ≡ 1 (mod 3)
だから
k^2 + m^2 + n^2 ≡ 0 (mod 3)