PROOF. We first observe that the pair (M, dM) is (m — k — 1)connected. Indeed, since inclusion induces an isomorphism of fundamental groups, we can use the relative Hurewicz theorem to compute the first nonvanishing relative homotopy group: TTi(M, dM) =TTi(My dM) (where M denotes the universal cover), 7Ti(M, dM) Ç^Hi(M, dM)=HTM~\M), by duality, where c denotes compact cohomology, and H?~\M)^HTM...