theorem :: XPRIMES1:229

229 is prime