  This is a sketch of main steps of the proof of Bloch--Kato's theorem which
states that the norm residue homomorphism
  K_q(K)/m\to H^q(K,\Bbb Z/m(q)) is an isomorphism for a henselian discrete
valuation field K of characteristic 0 with residue field of positive
characteristic.
