This is a sketch of main steps of the proof of Bloch–Kato's
theorem which states that the norm residue homomorphism
Kq(K)/m→Hq(K,Z/m(q)) is an isomorphism
for a henselian discrete valuation field K of characteristic 0 with
residue field of positive characteristic.