theorem :: XPRIMES2:898

canceled;