theorem :: XPRIMES0:235

not 235 is prime