theorem :: XPRIMES0:1964

not 1964 is prime