Để phục vụ cho lễ khai mạc World Cup 2018, ban tổ chức giải chuẩn bị 25000 quả bóng, các quả bóng được đánh số từ 1 đến 25000. Người ta dùng 7 mài: Đỏ, da cam, vàng, lục, lam, chàm, tím để sơn các quả bóng (mỗi quả được sơn 1 màu). Chứng minh rằng trong 250000 quả bóng nói trên tồn tại ba quả bóng cùng màu được đánh số là a, b, c. Mà a chia hết cho b, b chia hết cho c và abc > 17.