Facts

For a planar graph, the sum of the degrees of all vertices is linear in the number of vertices.