theorem :: XPRIMES2:7673

7673 is prime