theorem :: XPRIMES2:4980

canceled;