772 = 2 * 386 ;
then 2 divides 772 ;
hence not 772 is prime ; :: thesis: verum