Let {(Xn,an)} be a sequence of
pointed, locally compact, finite-dimensional, nondegenerate, connected ANR’s. It is
shown that the direct limit of the system
X1
→ X1×{a2}⊂ X1× X2→ X1× X2×{a3}⊂ X1× X2× X3
→⋯
is homeomorphic to an open subset of R∞= Rn, R the reals. As a consequence, if
f : X → Y is a homotopy equivalence between ANR’s as above then
fn: Xn→Yn is homotopic to a homeomorphism.