В чем заключается теорема Фари о прямых линиях в плоских графах?

Теорема Фари — теоретико-графовое утверждение о возможности выпрямить рёбра любого планарного графа. ru.ruwiki.ru

Формулировка: любой простой планарный граф имеет плоское представление, в котором все рёбра представлены в виде отрезков прямых. ru.ruwiki.ru neerc.ifmo.ru

Другими словами, возможность рисовать рёбра графа в виде кривых, а не в виде отрезков прямых линий, не расширяет класс планарных графов. ru.ruwiki.ru

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