If a graph can be colored with four colors, then its incidence poset has order dimension at most four (Schnyder 1989).
Если граф можно раскрасить в четыре цвета, то его частично упорядоченное множество инцидентности вершин имеет порядковую размерность, не превосходящую четырёх (Schnyder 1989).