Доказательство гипотезы Буземана для $G$-пространств неположительной кривизны

Доказывается, что всякое односвязное $G$-пространство Буземана неположительной кривизны гомеоморфно пространству $\mathbb R^n$ при некотором натуральном $n$. Как следствие, в классе $G$-пространств неположительной кривизны подтверждается известная гипотеза, утверждающая, что всякое $G$-пространство Буземана является топологическим многообразием.