theorem :: XPRIMES0:1194

not 1194 is prime