added thm about valuation ring dominating