theorem :: XPRIMES0:1192

not 1192 is prime