theorem :: XPRIMES0:1228

not 1228 is prime