В кор­зи­не лежат 40 гри­бов: ры­жи­ки и груз­ди. Из­вест­но, что среди любых 17 гри­бов име­ет­ся хотя бы один рыжик, а среди любых 25 гри­бов хотя бы один груздь. Сколь­ко ры­жи­ков в кор­зи­не?