，关于 K 免除图的边数。简而言之，在所有 n 点且不包(r+1)-点团的图中，边数最多的图是图兰图，而且只有图兰图达到边数的最大值。图兰图是将 n 点分成大小差不多的r 部分，两点再向一部份若且惟若两点之间有连边。图兰定理于1941年首次由匈牙利数学家帕尔·图兰(Paul Turán)发现，但 r=2 的情形早在 1907 年由 Mantel 提出。
叙述.若 G 是一个有 n 点的图，而且完全图 K 不是 G 的子图，则 G 最多有formula_1条边。此外，如果 G 有