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

 Мы взяли 17 грибов из корзины. Тогда к этому моменту в корзине остаются 23 гриба. Откладываем один рыжик из 17 грибов. Теперь их 16. Из корзины докладываем один гриб. Снова один рыжик выкладываем. И так далее, пока не изведём все 23 гриба. Когда же мы их все изведём, то в миске будет 24 рыжика, а в кучке 16 грибов - груздей.

(То есть, получается, что не обязательно все 23 гриба оставшиеся в корзине - рыжики, там могут быть и грузди.)