theorem :: XPRIMES2:1967

canceled;