This solution is considered to be the first theorem of graph theory, specifically of planar graph theory.
Toto riešenie sa považuje za prvú vetu teórie grafov, konkrétne v teórii planárnych grafov.