theorem :: XPRIMES2:7640

canceled;