theorem :: XPRIMES0:1196

not 1196 is prime