Konvergenter Potenzreihenring/Regulär/Fakt