모든 양인 정수 n에 대해 x = n-nCk * 2^(1-kC2)일 때 clique K_x를 2가지 색으로 칠할 때


단색인 K_k가 없게 칠 하는 방법이 있는 걸 증명해봐얌