theorem :: XPRIMES2:7129

7129 is prime