theorem :: XPRIMES2:7309

7309 is prime