>>245
それは難しく考えすぎだよ
左⇒右は
p = 3m +1

であることを示すだけだけど、
x^2 +xy +y^2 ≡ 0 となるのは、x, yの両方が 3の倍数の時のみで
pは素数にならない。
他は全部 x^2 +xy +y^2 ≡ 1