theorem :: XPRIMES2:998

canceled;