Talk:Krull valuation