1994 = 2 * 997 ;
then 2 divides 1994 ;
hence not 1994 is prime ; :: thesis: verum