626 = 2 * 313 ;
then 2 divides 626 ;
hence not 626 is prime ; :: thesis: verum