Dicho grafo no puede contener un subgrafo completo de tamaño R(m,m…m)⏟k times=j . ¿Cuál es el subgrafo en n vértices que tiene el mayor número de aristas y no contiene un suógrafo completo de tamaño n ? Es el gráfico de Turan T(n,j−1) Así que si T(n,j−1) trabajos que hemos hecho.
Por la definición del número de Ramsey Kj−1 admite una coloración C con k colores y no monocromática Km . Así que lo que hacemos es tomar T(n,j−1) y asumir cada uno de los j−1 partes de T(n,j−1) es un vértice en Kj−1 . Así, dados dos vértices adyacentes de T(n,j−1) coloreamos ese borde usando el color utilizado en C para conectar los vértices de sus partes correspondientes (Ya que cada parte de T(n,j−1) se ve como un vértice de Kj−1 . Esta coloración no nos da ninguna monocromática Km porque si tenemos m vértices que están todos conectados por pares deben estar todos en partes diferentes, y entonces los colores de las aristas entre ellos serán los mismos que el color de las aristas entre los vértices en Kj−1 con la coloración C .
Por lo tanto, el número máximo de aristas es el número de aristas en el T(n,j−1) que es ⌊(j−2)n22(j−1)⌋ . También se deduce de Turan que el gráfico es único.