theorem :: XPRIMES0:190

not 190 is prime