A esta solución se la considera el primer teorema de teoría de grafos y de grafos planares.