付値体formula_54は、formula_55によって完備であり、"l" を "k" の代数拡大体とすると、formula_55は、"l" に一意的に延長が可能である。