1: \begin{proof}

2: This result makes sense as intuitively, we would like to use as a candidate $\log( f )$ . However, let us provide a rigorous proof of it and explicitly construct the function $g$. The exponential function is surjective from $\mathbb{C}$  to $\mathbb{C}^*$. This implies that there exists a complex $z_0$ such that  $f(0) =exp(z_0)$. The ratio of two holomorphic functions with the denominator function without any zero being holomorphic and any non vanishing holomorphic function $f$ admitting an entire function as a primitive, the function $\frac{f'}{f}$ defined as the ratio of two non vanishing holomorphic functions admits an entire function as primitive denoted by

3: $$g(z) =z_0 + \int_{[0,z]}\frac{f'(u)}{f(u)} du$$

4: 

5: Let us define by $v = \exp(g)$. Trivially, we have $ v' = g' \exp(g)  = \frac{f'}{f} v $  

6: so that $ (v / f )' = \frac{ v' f - v f' } {f^2} = 0$, 

7: which implies that the ratio $\frac{v}{f}$ is constant and equal to one as by construction, $v(0) = f(0)$. This concludes the proof.

8: \end{proof}