theorem :: XPRIMES2:9181

9181 is prime