6的最大书图可记作formula_8。
书的定理.可定义满足拉姆齐数的两个三角形书为formula_9。当formula_10取最小值时，任意一个有formula_10个顶点的图中，该图不是本身包含子图formula_1就是它的补图包含子图formula_13。