theorem :: XPRIMES0:964

not 964 is prime