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