theorem :: XPRIMES2:4930

canceled;