177 = 3 * 59 ;
then 3 divides 177 ;
hence not 177 is prime ; :: thesis: verum