theorem :: XPRIMES2:640

canceled;