До магазину привезли 25 ящиків з трьома різними сортами яблук (у кожному ящику яблука тільки одного сорту). Довести, що серед них є принайні 9 ящиків одного й того самого сорту.