theorem :: XPRIMES0:1167

not 1167 is prime