Cho đa giác đều gồm 2023 cạnh. Người ta sơn các đỉnh của đa giác bằng hai màu xanh và đỏ. Chứng minh ràng tồn tại ba đỉnh được sơn cùng một màu tạo thành một đa giác cân.