Extension of a valuation