>>244
事実(ii)から

　　3|(p-1)⇒p|(a^2+a+1) (∃a∈Z)

なので「右⇒左」はすぐに終わりました。「左⇒右」を教えてください。
x+yωはZ[ω]の既約元になるので、UFDの性質から素元でもあります。
それを使うのかと思ったのですがうまく行きません。