theorem :: XPRIMES0:589

not 589 is prime