>>554を無視しないでもらえますか？

とりあえず「z>1のとき、p=wzとなり、pが合成数になるから不適である。」とは言えないので、そこを修正してください。