theorem :: XPRIMES2:9871

9871 is prime