Числа Рамсея

Рассмотрим полный граф, вершинами которого являются натуральные числа. Ребро вершинами и будем красить в цвет числа Пусть всего цветов Рассмотрим первые вершин графа, где соответствующее число Рамсея. Среди них гарантированно найдется одноцветный треугольник. Тогда числа, соответствующие его ребрам будут покрашены в один цвет в исходной конструкции, а также сумма двух из них будет равна третьему.