Изменения

{{Лемма

|id = lem1

|statement= <tex>\forall\ G(V, E) : \Delta (G) \leqslant \chi '(G)</tex>, где <tex>\Delta (G)</tex> {{---}} максимальная степень вершины в графе

|proof= Действительно, давайте рассмотрим вершину максимальной степени в графе. Ей инцидентно ровно <tex>\Delta(G)</tex> рёбер. При этом, чтобы все они имели попарно различные цвета, они все должны иметь различные цвета, иначе найдётся пара рёбер инцидентных одной вершине имеющих одинаковый цвет.