C(v_1) + C(v_2) + C(v_5) + C(v_6) \geq C(v_1) + C(v_2) + C(v_5) + C(v_6) - 2*c(v_1, v_2) = C(v_1,v_2) + C(v_5) + C(v_6) \geq C(v_1,v_2) + C(v_5) + C(v_6) - 2*c(v_1 v_2, v_6) = C(v_1,v_2, v_6) + C(v_5) \geq C(v_1,v_2, v_3) + C(v_5) \textrm{if $v_6$ is connected to $v_1$ or $v_2$} \geq C(v_1,v_2, v_3) + C(v_5) - 2*c(v_1 v_2 v_3, v_5) = C(v_1,v_2, v_3, v_5) \geq C(v_1,v_2, v_3, v_4) \textrm{if $v_5$ is connected to $v_1$ or $v_2$ or $v_3$}