theorem :: XPRIMES1:5768

canceled;