theorem :: XPRIMES0:1190

not 1190 is prime