theorem :: XPRIMES1:5726

canceled;