ここからが原理本番。スタートはフェルマーの小定理の式。
Kを K=k(p-1)、つまりp-1の倍数とすると
より aK-1 が p の倍数となることが分かる。ここで何とか K つまり p-1 の倍数を上手く作れれば、GCD(aK-1,n)=p となるかもしれない。
因数分解したい数 n の素因数の一つを p とする。仮に p-1 が小さな素因数ばかりで因数分解できると勝手に仮定すると、例えば
と置けば K が p-1 の倍数になる可能性は高い。この K の構成はあくまで一例なので、条件(Kがp-1の倍数になる)を満たしそう(pの値が分かっていないので確定的なことは言えない)ならどのように構成しても良い。
この K を用いて GCD(aK-1,n) を計算する。a は2と固定しても構わないし、2と3と5と…と複数試しても良い。