theorem :: XPRIMES2:9547

9547 is prime