0415132人目の素数さん垢版 | 大砲2018/06/05(火) 19:04:14.19ID:4dzu8Xoi >>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となり場合分けを行った条件に反する。