theorem :: XPRIMES0:237

not 237 is prime