629 = 17 * 37 ;
then 17 divides 629 ;
hence not 629 is prime ; :: thesis: verum