697 = 17 * 41 ;
then 17 divides 697 ;
hence not 697 is prime ; :: thesis: verum