added theorem about valuation rings
added items 1 - 3 to proof of prop
proved 10.1