theorem :: XPRIMES0:232

not 232 is prime