IMO 1992 - Danh sách bài toán rút gọn Câu hỏi 4

(CHN 3) IMO3. Cho chín điểm trong không gian, không có bốn điểm nào đồng phẳng. Tìm số tự nhiên nhỏ nhất $n$ sao cho với mọi cách tô đỏ hoặc xanh $n$ cạnh nối giữa chín điểm này, luôn tồn tại một tam giác có tất cả các cạnh cùng màu.