theorem :: XPRIMES2:4979

canceled;