Теория экстремальных графов. Классический пример конструктивного доказательства.