 Degree-sum formula

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.