Изменения

|statement=

Пусть <tex>G</tex> плоский граф без петель с гамильтоновым циклом <tex>C</tex>, который делит плоскости на две области <tex>R</tex> и <tex>R'</tex>. Пусть <tex>k_i</tex> и <tex>k'_i</tex> {{---}} количества граней размера <tex>i</tex> в <tex>R</tex> и <tex>R'</tex> соответственно. Тогда

<math>\sum_{i=3}^{V(G)}(i-2)(k_i-k'_i)=0</math>

|proof=