>>247
>x, yの両方が 3の倍数の時のみで

↑この部分削除。間違いで余分。
pが素数ではない。だけあればいい。