Изменения

<tex>ex(n, K^r)</tex> {{---}} максимальное количество ребер в графе на <tex>n</tex> вершинах, которые не содержит <tex>K^r</tex> как подграф.}} {{Определение|definition='''Граф Турана''' <tex>T^{r-1}(n)</tex> {{---}} единственный полный <tex>(r - 1)</tex>-дольный полный граф на <tex>n > r-1</tex> вершинах, доли которого по мощности не отличаются более чем на 1. Если

ex<tex> t_{r-1}(n, r) </tex> {{---}} количество ребер в <tex>T^{r-1}(n)</tex>.

Для всем всех целых чисел <tex>r</tex>, <tex>n</tex>, где <tex>r > 1</tex>, любой граф <tex>G >= \nsubseteq K^r </tex> с <tex>n </tex> вершинами и <tex>ex(n, K^r) </tex> ребрами есть <tex>T^{r-1}(n)</tex>.