Der Ring der konvergenten Potenzreihen C ⟨ ⟨ T ⟩ ⟩ {\displaystyle {}{\mathbb {C} }\langle \!\langle T\rangle \!\rangle }
ist ein diskreter Bewertungsring.
