theorem :: XPRIMES2:9643

9643 is prime