С помощью только 4-х и 7-ми минутных песочных часов вымиряли девять минут. Объясните, как это сделали

Запускаем и те и другие часы одновременно

Когда в 4-минутных часах закончится песок, переворачиваем их (прошло 4 минуты, в 7-минутных часах остаток 3 минуты)

Когда в 7-минутных часах закончится песок, переворачиваем и те и другие часы (прошло 7 минут, в 4-минутных часах песка на 1 минуту)

Когда в 4-минутных часах закончится песок, переворачиваем 7-минутные, где в нижней половине песка на 1 минуту (прошло 8 минут)

Когда в 7-минутных часах не останется песка, прошло ровно 9 минут.