Let be a Formal Power Series in a Ring
such that has a multiplicative inverse.
Then we define

given by and

Lemma

The formal inverse of is