theorem :: XPRIMES2:9199

9199 is prime