theorem :: XPRIMES1:726

canceled;