tがcの倍数でないと、2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1))/tが割り切れる
この場合にはpが約数を持つことになるから不適になる。
この場合で、2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1))=1となる場合には、c=pとなり
条件に反する。また、c=1の場合はa=cとなり不適。
これぐらいのことは自明。