>>405 訂正
tがcの倍数でない場合は、2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))/tが
割り切れこの値をzとすると、z>1の場合p=czとなり、pが素因数であることに反する。
z=1の場合は、c=pとなり場合分けを行った条件に反する。