A density property of Henselian valued fields

We give an elementary proof of a version of the implicit function theorem over Henselian valued fields $K$. It yields a density property for such fields (introduced in a joint paper with J. Koll{\'a}r), which is indispensable for ensuring reasonable topological and geometric properties of algebraic subsets of $K^{n}$.