theorem :: XPRIMES2:9791

9791 is prime