theorem :: XPRIMES0:226

not 226 is prime