theorem :: XPRIMES0:259

not 259 is prime