指数 i=k−e−1 で性質を適用する:dk−e−1∣dk−e+dk−e+1 は qn∣pen+pe−1n=pen(p+1) を意味する。両辺を n/pe で割ると(この整除性は得られる比が整数であることと同値)、peq(p+1) が整数でなければならないことが分かる。しかし gcd(p,q)=1 かつ gcd(p,p+1)=1 なので、e≥1 である限り pe は q(p+1) を割り切れず、矛盾が生じる。したがって n は素因数を一つしか持たず、ステップ1と合わせると、この性質を持つ合成数はちょうど素数のべき乗 n=pr, r≥2 である。