theorem :: XPRIMES1:702

canceled;