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