theorem :: XPRIMES1:673

673 is prime