theorem :: XPRIMES0:224

not 224 is prime