theorem :: XPRIMES1:716

canceled;