theorem :: XPRIMES0:1178

not 1178 is prime