Алгебраическая топология, Ершов А. В., лекция 15, 11.12.2023