theorem :: XPRIMES0:969

not 969 is prime