>>882

pが合成数であれば

の段階で

pが素数でないならば

という仮定をしてる

んだけど