theorem :: XPRIMES0:1176

not 1176 is prime