679 = 7 * 97 ;
then 7 divides 679 ;
hence not 679 is prime ; :: thesis: verum