theorem :: XPRIMES0:959

not 959 is prime