1988 = 2 * 994 ;
then 2 divides 1988 ;
hence not 1988 is prime ; :: thesis: verum