theorem :: XPRIMES2:930

canceled;