假设素数 ppp 同时整除 AnA_nAn 和某个旧项 AkA_kAk。由上一步 ppp 也整除 An+2A_n+2An+2,故 ppp 整除两者之差 222。但 ppp 是奇数 AkA_kAk 的奇素因子,矛盾。因此对每个 k<nk<nk<n,gcd(An,Ak)=1\gcd(A_n,A_k)=1gcd(An,Ak)=1。