From the fundamental identity of exponentiation, or path integration, K z ∗ ∗ K z ′ = K z + z ′ holds for all complex z values, where the integrals are absolutely convergent so that the operators are well defined.