Пусть x - количество головок сыра, y - количество мышей в первую ночь.
Тогда в первую ночь каждая мышка съела \(\frac{x}{y}\) головок сыра.
Во вторую ночь пришло \(y - 1\) мышей (не все), и каждая съела в 4 раза меньше, то есть \(\frac{x}{4y}\) головок сыра.
Весь оставшийся сыр (то есть x) был съеден, следовательно:
\[ (y - 1) \cdot \frac{x}{4y} = x \]
Решим это уравнение, чтобы найти значение y:
\[ (y - 1) \cdot \frac{x}{4y} = x \]
\[ (y - 1) = 4y \]
\[ 4 = y \]
Таким образом, в первую ночь было 4 мышки.
Чтобы сыр делился на 4 части и оставался еще сыр для следующей ночи, число головок сыра должно быть как минимум 5.
Ответ: 5 головок сыра хранилось в погребе.