theorem :: XPRIMES2:7243

7243 is prime