theorem :: XPRIMES0:298

not 298 is prime