theorem :: XPRIMES1:227

227 is prime