theorem :: XPRIMES2:9587

9587 is prime