694 = 2 * 347 ;
then 2 divides 694 ;
hence not 694 is prime ; :: thesis: verum