theorem :: XPRIMES0:1174

not 1174 is prime