theorem :: XPRIMES0:1198

not 1198 is prime