Konvergenter Potenzreihenring/Regulär/Fakt

Der Ring der konvergenten Potenzreihen in ist

regulär der Dimension .