theorem :: XPRIMES0:963

not 963 is prime