theorem :: XPRIMES0:289

not 289 is prime