Formaler Potenzreihenring/Eine Variable/Konstante nicht null, dann Einheit/Fakt/Name

Der Satz über Einheiten im Potenzreihenring .