theorem :: XPRIMES0:968

not 968 is prime