767 = 13 * 59 ;
then 13 divides 767 ;
hence not 767 is prime ; :: thesis: verum