This is the face version of the Handshake Lemma.

Face Handshake Lemma

Each face has a boundary that is some loop . We can define

by following the edges on the loop for some face. So, if we could every face,

which is the Face Handshake Lemma.