设x+d(i)=a(i)，i=1~n，
A(1)=gcd(a(1), a(2)*a(3)*…a(n))整除gcd(a(1), a(2))*gcd(a(1),a(3))*…，进而整除[a(2)-a(1)]*[a(3)-a(1)]*…，它们的差是定值，所以A(1)有上界，同理A(2)~A(n)都有上界，
如果使p(m)只含少于n个素因子的m可以充分大，那么a(1)/A(1)，a(2)/A(2)，…随m增大都可以充分大，但这n个数两两互素，素因子总数少于n，也就是说其中某个a(j)/A(j)只可能等于1，那a(j)=m+d(j)不超过A(j)的上界，说明m是有界的
A(1)=gcd(a(1), a(2)*a(3)*…a(n))整除gcd(a(1), a(2))*gcd(a(1),a(3))*…，进而整除[a(2)-a(1)]*[a(3)-a(1)]*…，它们的差是定值，所以A(1)有上界，同理A(2)~A(n)都有上界，
如果使p(m)只含少于n个素因子的m可以充分大，那么a(1)/A(1)，a(2)/A(2)，…随m增大都可以充分大，但这n个数两两互素，素因子总数少于n，也就是说其中某个a(j)/A(j)只可能等于1，那a(j)=m+d(j)不超过A(j)的上界，说明m是有界的
