theorem :: XPRIMES0:299

not 299 is prime