あるいはクラインの四元群 G(I X Y Z) Iを単位元とする

を用いて表現すれば、辺それぞれにクライン四元群のIを除く元を与え

n(X)≡n(Y)≡n(Z)≡n(e) mod2
これが平面グラフの任意の閉路で成り立つこと