>>26
Kはちょうど3個の正の平方数の和で表せる⇒8を法としてK≡0,1,2,3,4,5,6
は真だけど
逆は言えないんじゃないかなあ