素数幂的分解只有一种素因子,而构造强迫出现第二种。
XrX_rXr 有素因子 prp_rpr,且还有一个大于 111 且不被 prp_rpr 整除的剩余因子。因此它至少有两个不同的素因子,既不是素数也不是某个素数的幂。连续的 nnn 个数 X2,…,XNX_2,\ldots,X_NX2,…,XN 即证明结论。