theorem :: XPRIMES2:983

canceled;