## Grinberg Formula

A formula satisfied by all Hamiltonian Circuits with nodes. Let be the number of regions inside the circuit with sides, and let be the number of regions outside the circuit with sides. If there are interior diagonals, then there must be regions

 (1)

Any region with sides is bounded by Edges, so such regions contribute to the total. However, this counts each diagonal twice (and each Edge only once). Therefore,
 (2)

Take (2) minus (1),
 (3)

Similarly,
 (4)

so
 (5)