Пусть по запросу бабочки & грибы было найдено 2000 страниц,
по запросу бабочки \(\mid\) грибы − 7000 страниц,
по запросу бабочки − 5000 страниц.

Сколько страниц было найдено по запросу грибы?