theorem :: XPRIMES0:1589

not 1589 is prime