degree sum formula

Double counting proves a neat result in graph theory.