That is, what we want is equivalent to proving that for some vertex, the set of edges touching either or a vertex joined to is at least . Obviously now we'll sum over all vertices .
Iyon ay, kung ano ang nais namin ay katumbas ng proving na para sa ilan sa kaitaasan, Ang hanay ng mga gilid na hawakan ang alinman sa o sa tuktok ng isang sumali sa ay hindi bababa sa . Malinaw na ngayon kami ay sum sa lahat ng vertices .