Лекция 9. Критерий Бека монадичности (окончание доказательства). Компактные хаусдорфовы пространства