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)
\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)