theorem :: XPRIMES1:1298

canceled;