Let
Then we define:
Theorem
Exp of Formal Infinite Sum is Formal Infinite Product of exps:
so long as
Proof
Prove by induction for finite sums.
Then the coefficient of
so we have equality in the infinite sum also.
Let
Then we define:
Exp of Formal Infinite Sum is Formal Infinite Product of exps:
so long as
Prove by induction for finite sums.
Then the coefficient of
so we have equality in the infinite sum also.