Turán's theorem はグラフに関する定理であり、Turán number $T(n,r+1,2)$ と $\text{ex}(n,K_{r+1})$ の値を与える。