Euler characteristic
が成り立つ。ここに最初の和は formula_1 の内部の頂点を渡り、第二の和は境界上の頂点の和をとり、formula_8 は formula_1 のオイラー標数を表す。