771 = 3 * 257 ;
then 3 divides 771 ;
hence not 771 is prime ; :: thesis: verum