theorem :: XPRIMES0:1299

not 1299 is prime