theorem :: XPRIMES2:9433

9433 is prime