theorem :: XPRIMES2:740

canceled;