>>46
ここで、pが７以上の素数であることを使う。