/a.k.a. the Degree Sum Formula/

This formula implies that in any undirected graph, the number of vertices with odd degree is even.