theorem :: XPRIMES2:7109

7109 is prime