Дан (неориентированный) граф (без петель) с вершинами и с ребрами, . Докажите, что некоторые вершины и ребра этого графа можно покрасить в красный цвет так, чтобы каждое красное ребро соединяло красные вершины и из каждой красной вершины исходило ровно красных ребер.