theorem :: XPRIMES0:234

not 234 is prime