>>232
多分wilsonの定理を使いまくるんだと思うなあ