Show that a finitely dominated simply connected -complex is always homotopy equivalent to a finite -complex.