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

Es sei ${}K$ ein Körper und sei ${}K[\![T]\!]$ der Ring der formalen Potenzreihen in einer Variablen.

Dann ist eine formale Potenzreihe ${}F={\sum }_{n=0}^{\infty }a_{n}T^{n}$ genau dann eine Einheit, wenn der konstante Term ${}a_{0}\neq 0$ ist.