theorem :: XPRIMES0:983

canceled;