theorem :: XPRIMES2:9467

9467 is prime