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

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.