>>423
それは違うと思います。全てpとpkは素数でることを前提にしています。