theorem :: XPRIMES2:9127

9127 is prime