theorem :: XPRIMES0:966

not 966 is prime