avva | задача про теннисиста

Теннисист играет каждый день не менее 1 партии в день и не больше 12 партий в неделю. Неделей считаются любые 7 дней, идущие подряд.

Доказать что найдётся промежуток времени (исчисляемый полными днями), в который он сыграет ровно 20 партий.

Скрываю комментарии на сутки, потом открою. Очень понравилась эта задача, честно признаюсь, что не смог найти простое решение за несколько дней (но оно существует!).
Спасибо комментатору Л. из телеграма за нее.