Nótese que estos teoremas están construidos con una implicación unidireccional ("si-entonces"), y no bicondicional ("si y solo si") y por tanto, solamente pueden ser usados para probar que el grafo no es plano, pero no que sea plano.