theorem :: XPRIMES2:9473

9473 is prime