689 = 13 * 53 ;
then 13 divides 689 ;
hence not 689 is prime ; :: thesis: verum