theorem :: XPRIMES0:1197

not 1197 is prime