theorem :: XPRIMES2:7247

7247 is prime