Degree-sum formula (source code)

= Degree-sum formula
{title2=$\sum_{v\in V}\deg(v)=2|E|$}

= Handshaking lemma
{synonym}

In every finite undirected graph, the sum of the vertex degrees is twice the number of edges, because each edge contributes one to the degree of each endpoint.