1976 = 2 * 988 ;
then 2 divides 1976 ;
hence not 1976 is prime ; :: thesis: verum