theorem :: XPRIMES0:1173

not 1173 is prime