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