1671 = 3 * 557 ;
then 3 divides 1671 ;
hence not 1671 is prime ; :: thesis: verum