Therefore, by the De Bruijn–Erdős theorem, P itself also has a w-colorable incomparability graph, and thus has the desired partition into chains (Harzheim 2005).
Таким образом, по теореме де Брейна–Эрдёша, P сам также имеет w-цветную раскраску графа несравнимости, а это есть желаемое разделение на цепи (Harzheim 2005).