theorem :: XPRIMES2:5740

canceled;