theorem :: XPRIMES2:7307

7307 is prime