>>340
全部ウィルソンだよ。漸化式には>>329の定理も必要だが。