theorem :: XPRIMES0:198

not 198 is prime