ひとつ言わせてもらうけど、上のやつって結局ウィルソンの定理だろ?