n が二つの異なる素因数を持つ場合、最小の約数は大きい方の素因数が現れるまで小さい方の素因数のべき乗を辿ることになり、di↔n/did_i\leftrightarrow n/d_idi↔n/di という対応付けによって同じ隙間が最大の約数の側にも再現される。
nnn が少なくとも二つの異なる素因数を持つとし、p<qp<qp<q をその中で最小の二つとする。pep^epe を、pe<qp^e<qpe<q を満たす、nnn を割り切る ppp の最大べきとする（したがって e≥1e\ge1e≥1）。nnn の約数で pep^epe と qqq の間に厳密に入るものは存在しないので、nnn の最小の約数は 1,p,…,pe,q1,p,\ldots,p^e,q1,p,…,pe,q である。すべての iii に対して didk+1−i=nd_id_{k+1-i}=ndidk+1−i=n が成り立つので、nnn のすぐ下の約数はこのパターンを反映し、dk=n, dk−1=n/p,…,dk−e=n/pe, dk−e−1=n/qd_k=n,\ d_{k-1}=n/p,\ldots,d_{k-e}=n/p^e,\ d_{k-e-1}=n/qdk=n, dk−1=n/p,…,dk−e=n/pe, dk−e−1=n/q となる。