Let be a Ring containing .
Then we define:

Theorem

Exp of Formal Infinite Sum is Formal Infinite Product of exps:

so long as and as .

Proof

Prove by induction for finite sums.
Then the coefficient of is unaffected by for
so we have equality in the infinite sum also.