공간상에서 어느 네 점도 동일한 평면 상에는 있지 않는 아홉개의 점이 있다. 각 두 점을 변(즉, 선분)으로 연결하여 각 변을 붉은색, 혹은 파란색으로 색칠하든지 혹은 칠하지 않는다고 한다. 꼭 $n$개의 변들 만이 색칠되었을 때, 색칠하는 방법에 관계없이 색칠된 변들 중에는 세 변이 모두 같은 색으로 칠해진 삼각형이 반드시 하나는 존재할 $n$의 값중 최소값을 구하라.