theorem :: XPRIMES0:1298

not 1298 is prime