theorem :: XPRIMES2:9833

9833 is prime