theorem :: XPRIMES2:1868

canceled;