A combinatorial proof for the relation between the exponential function and the logarithmic function.

Two combinatorial identities are considered. These identities imply that exp and log are mutually inverse to one another even in the case where the variable is a noncommutative symbol. The proofs are given by enumeration of permutations and flags in a finite set. [ABSTRACT FROM AUTHOR]