Гриб называется плохим,если в нём больше 11 червяков. Червяк-тощий, если он съел не более 1/5 грибы, в котором живйт. Четверть всех грибов в лесу плохие. Докажите,что не менее трети всех червяков тощие.