램지 정리: k와 n이 2보다 큰 양의 정수일 때, 다음을 만족하는 가장 작은 양의 정수 m이 반드시 존재한다.만일 노드들의 개수가 m이고 서로 다른 모든 두 노드들이 간선으로 연결된 무향 그래프 G의 모든 간선들, 즉, m*(m-1)/2 개의 간선들을 파란색과 빨간