theorem :: XPRIMES2:6673

6673 is prime