Combination Theorem for Complex-Differentiable Functions/Product Rule