theorem :: XPRIMES1:898

canceled;