308
правок
Изменения
м
→Раскраска в 6 цветов
По только что доказанной лемме в <tex> G </tex> найдётся вершина степени не больше 5. Удалим её; по предположению индукции получившийся граф можно раскрасить в 6 цветов.
Вернём удалённую вершину и покрасим её в цвет, не встречающийся среди смежных ей вершин(ведь "занято" максимум 5 цветов). Индукционный переход доказан
}}
