theorem :: XPRIMES2:4982

canceled;