theorem :: XPRIMES0:962

not 962 is prime