77 = 7 * 11 ;
then 7 divides 77 ;
hence not 77 is prime ; :: thesis: verum