theorem :: XPRIMES2:4998

canceled;