  Viewing higher local fields as ring objects in the category of iterated
pro-ind-objects, a definition of open subgroups in Milnor K-groups of the
fields is given. The self-duality of the additive group of a higher local field
is proved. By studying norm groups of cohomological objects and using
cohomological approach to higher local class field theory the existence theorem
is proved.
