Возьмём 17 гри­бов. Пусть 16 из них груз­ди. Тогда все осталь­ные грибы в кор­зи­не  — 24 долж­ны быть ры­жи­ка­ми. Иначе мы возьмём один из остав­ших­ся груз­дей на место 17-ого гриба и по­лу­чим про­ти­во­ре­чие с усло­ви­ем. Ана­ло­гич­ным об­ра­зом по­лу­чим, что в кор­зи­не долж­но быть ми­ни­мум 16 груз­дей. Ми­ни­мум 24 ры­жи­ка и ми­ни­мум 16 груз­дей. Зна­чит, в кор­зи­не имен­но 24 ры­жи­ка и 16 груз­дей.