theorem :: XPRIMES2:1898

canceled;