17x17 격자판을 4가지 색깔로 칠할건데

직사각형을 이루는 네 점 (기울어지지는 않고)을 어떻게 잡아도 네 점의 색깔이 동일하지 않게 색칠할 수 있는가? 라는 문제임


예를 들어서 3x3 격자판을 2가지 색깔로 칠하면


112
121
211


이렇게 칠하면 직사각형이 생기지 않음. 만약,


121
122
121


이렇게 칠하면 네 꼭지점의 1이 직사각형을 이루기 때문에 실패임


---


만약 이러한 해가 존재한다면 보이고, 존재하지 않는다면 증명하시오