theorem :: XPRIMES1:704

canceled;