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