theorem :: XPRIMES0:230

not 230 is prime