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