theorem :: XPRIMES2:9883

9883 is prime