theorem :: XPRIMES1:2298

canceled;