76 = 2 * 38 ;
then 2 divides 76 ;
hence not 76 is prime ; :: thesis: verum