>>742
このmathlogの記事ではPの倍数を除いた階乗で定義されていると思う