In 2003, Carsten Thomassen derived an alternative proof from another related theorem: every planar graph with girth at least five is 3-list-colorable.
В 2003 году Карстен Томассен дал альтернативное доказательство, отталкиваясь от связанной теоремы — любой планарный граф с обхватом по меньшей мере пять имеет предписанную раскраску в 3 цвета.