Локально гамильтоновы графы

Показано, что наименьшее количество ребер в $n$-вершинном графе, у которого среди любых к вершин найдется $k$-цикл, равно $\left]n(n-k+2)/2\right[$.