素数べきの素因数は1種類だけだが、この構成は第2の素数を強制する。
XrX_rXr は素因数 prp_rpr を持ち、さらに prp_rpr で割り切れない 111 より大きい因子を持つ。従って少なくとも2種類の素因数があり、素数でも単一素数のべきでもない。nnn 個の連続数 X2,…,XNX_2,\ldots,X_NX2,…,XN が結論を与える。