theorem :: XPRIMES2:7349

7349 is prime