theorem :: XPRIMES0:957

not 957 is prime