theorem :: XPRIMES1:5987

5987 is prime