proved prop about valuation rings
added association of valuation with valuation rings