Пусть в нашем графе

ребер из

возможных.
Пусть вершины

не соединены,

- степень вершины

. Тогда

(ибо для любой прочей вершины

она соединена либо с

, либо с

, либо с обоими двумями). Сложив все эти неравенства (их -

штук), получим здоровенную сумму

, которая не меньше

.
В эту сумму каждое число

входит ровно

раз. Но

, так что

.
Из этих неравенств имеем

.
Пример (по мотивам
staric): 25 мальчиков и 25 девочек, все однополые дружат друг с другом. Тогда ровно стоко ребер, а из любых трех есть два однополых...