text: Теорема о четырёх красках о раскраске вершин планарного графа эквивалентна утверждению, что любой 3-регулярный граф без мостов принадлежит первому классу (это утверждение верно в виду доказанности теоремы о четырёх красках).