theorem :: XPRIMES1:998

canceled;