theorem :: XPRIMES2:7589

7589 is prime