1672 = 2 * 836 ;
then 2 divides 1672 ;
hence not 1672 is prime ; :: thesis: verum