theorem :: XPRIMES0:1124

not 1124 is prime