theorem :: XPRIMES2:980

canceled;