theorem :: XPRIMES2:7127

7127 is prime