theorem :: XPRIMES0:1179

not 1179 is prime