Изменения

Теорема была независимо доказана Клаусом Вагнером в 1936 года, Иштваном Фари в 1948ом году и Штейном в 1951ом году.

|definition=Разделяющий треугольник — цикл длины 3 в графе G, внутри и снаружи которого находятся вершины графа.

}}

Разделяющий треугольник представлен на рисунке 1.