theorem :: XPRIMES0:1195

not 1195 is prime