theorem :: XPRIMES0:194

not 194 is prime