Example 3

Let $f$ be a complex-valued function defined on an interval $I \subset \mathbf{R}$, and let $a$ be an arbitrary complex number; prop. 2 shows that if $f$ is differentiable at a point $x_0$ then so is $af$, and the derivative of this function at $x_0$ is equal to $af'(x_0)$.