theorem :: XPRIMES2:9941

9941 is prime