text: Для каждого конечного подграфа F графа G, пусть XF — подмножество X, состоящее из назначений цветов, дающих правильную раскраску F. Тогда система множеств XF является семейством замкнутых множеств со свойством конечных пересечений, так что из-за компактности система имеет непустое пересечение.