... equivalence.Annals of Mathematics On the K -theory of local fields By Lars Hesselholt and Ib Madsen* ON THE K -THEORY OF LOCAL FIELDS 19We next extend Waldhausen’s fibration theorem to the present ... Moreover, the composite of the maps in the lower rowis equal to the map of the statement, and the upper left-hand and upper right-hand terms are contractible. Hence the theorem is equivalent to the ... field k. The main result is Theorem 1.5.2below. It seems unlikely that this result is valid in the generality of the pre-vious section. Indeed, the proof of the corresponding result for K-theory...