>>643
> 1. xのgcdとなる(p×n)を算出
> 2. xのgcdとなる(p×n-1)を算出
> 3. 1または2でnの小さい方に応じてnまたはfalseを返す

だめだ、ちがうな、これ。どうしよう…少し考える。