theorem :: XPRIMES0:640

not 640 is prime