theorem :: XPRIMES2:7643

7643 is prime