text: Если G — бесконечный граф, в котором любой конечный подграф является k-раскрашиваемым, тогда по лемме Цорна он является подграфом максимального графа M с тем же свойством (граф, к которому нельзя добавить рёбра без того, чтобы некоторый конечный подграф не потребует более k цветов).