Without loss of generality, each \(X_i\)  may be assumed to be a CW-complex, not necessarily
finite (by the known results of J.H.C. Whitehead, each space homotopy dominated
by a polyhedron has the homotopy type of some CW-complex, not necessarily finite (see also [1]})).
