theorem :: XPRIMES2:5768

canceled;