1677 = 3 * 559 ;
then 3 divides 1677 ;
hence not 1677 is prime ; :: thesis: verum