theorem :: XPRIMES0:228

not 228 is prime