theorem :: XPRIMES2:9887

9887 is prime