theorem :: XPRIMES0:231

not 231 is prime