放電法
したがって、各頂点は最大でも d ( v ) / 5 {\displaystyle d(v)/5} の合計電荷を与えられる。 各頂点vの初期電荷は 6 − d ( v ) {\displaystyle 6-d(v)} である。 したがって、各頂点の最終的な電荷はせいぜい 6 − 4 d ( v ) / 5 {\displaystyle 6-4d(v)/5} である。したがって、頂点が正の最終電荷を持つのは、次数が最大7である場合のみである。ここで、正の最終電荷を持つ各頂点が軽い辺の端点に隣接していることを示す。
頂点 v {\displaystyle v} が次数5または6で正の最終電荷を持つ場合、 v {\displaystyle v} は隣接する次数5の頂点 u {\displaystyle u} から電荷を受け取ったので、辺 u v {\displaystyle uv} は軽い。頂点 v {\displaystyle v} が次数7で最終的に正の電荷を持つ場合、 v {\displaystyle v} は隣接する少なくとも6つの次数5の頂点から電荷を受け取ったことになる。グラフは三角形分割なので、 v {\displaystyle v} に隣接する頂点はサイクルを形成しなければならず、それは次数7しか持たないので、次数5の隣接頂点はすべて高次の頂点で区切られることはない。これがライトエッジとなる。
1904年、ヴェルニッケは放電法を導入して次の定理を証明したが、これは四色定理の証明の試みの一部であった。
定理:平面グラフが最小の次数 (グラフ理論)を持つ場合、そのグラフは辺を5個持つ。5である場合、端点がともに次数5であるか、または端点が次数5と6である。
証明: 頂点、面、辺の集合をそれぞれ V {\displaystyle V} , F {\displaystyle F} , E {\displaystyle E} で表す。 辺の端点がともに次数5であるか、次数5と6であるものを「light」と呼ぶ。 グラフを平面に埋め込む。この定理を証明するためには、平面三角形分割だけを考えれば十分である(三角形分割で成り立つのであれば、ノードを削除して元のグラフに戻すとき、グラフの最小次数を5以下にすることなく、目的の辺の両側のノードを削除することはできないからである)。三角形分割になるまで、グラフに辺を任意に追加していく。元のグラフは最小次数5なので、新しい辺の各端点は少なくとも次数6を持つ。 だから、新しい辺はどれも軽い。したがって、三角形分割に軽い辺が含まれていれば、その辺は元のグラフにもあったはずである。
各頂点 v {\displaystyle v} に 6 − d ( v ) {\displaystyle 6-d(v)} を、各面 f {\displaystyle f} に 6 − 2 d ( f ) {\displaystyle 6-2d(f)} を与え、ここで d ( x ) {\displaystyle d(x)} は頂点の次数と面の長さを表す。