Как лемма Турана используется в теории графов?

Возможно, имелась в виду теорема Турана, которая является одним из центральных результатов теории экстремальных графов. en.wikipedia.org

Теорема Турана ограничивает количество рёбер, которые могут быть включены в неориентированный граф, не имеющий полного подграфа заданного размера. en.wikipedia.org Это частный случай задачи о запрещённом подграфе, цель которой — найти максимальное число рёбер в графе, который не имеет определённого подграфа. en.wikipedia.org

Теорема Турана верна и для ориентированных графов без петель со свойством транзитивности. journals.tsu.ru При этом условие отсутствия полных подграфов порядка k заменяется условием отсутствия в графе ориентированных путей длины k. journals.tsu.ru

Теорема Турана и связанные с ней графики Турана были впервые описаны и изучены венгерским математиком Палом Тураном в 1941 году. en.wikipedia.org