theorem :: XPRIMES0:196

not 196 is prime