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