theorem :: XPRIMES2:9931

9931 is prime