711 = 3 * 237 ;
then 3 divides 711 ;
hence not 711 is prime ; :: thesis: verum