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