theorem :: XPRIMES0:1224

not 1224 is prime