G là một đơn đồ thị phẳng liên thông n đỉnh, m cạnh, gọi r là số miền trong biểu diễn phẳng của G khi đó:

r ≠ m – n + 2 r ≠ m – n + 2

r = m – n + 2 r = m – n + 2

r ≥ m – n + 2 r ≥ m – n + 2

r ≤ m – n + 2 r ≤ m – n + 2