1673 = 7 * 239 ;
then 7 divides 1673 ;
hence not 1673 is prime ; :: thesis: verum