Câu hỏi 515 số nguyên dương nhỏ hơn $1998$ là nguyên tố cùng nhau (không có cặp số nào có ước chung lớn hơn $1$). Chứng minh rằng ít nhất một trong số chúng phải là số nguyên tố.