Canonical basis of Hensel–Shafarevich in complete discrete valuation fields

Starting with Hensel's generating set of principal units, we construct a base of the module of principal units, in the multiplicative group of a complete descrete valuation field with the residue field of prime characteristic we prove the uniqueness of the above base, and as a corollary, the uniqueness of the canonical Shafarevich base.