For every closed piecewise smooth curve in , the winding number of about zero is the integer
If for a holomorphic th root, is nowhere zero, and
Thus is divisible by every for which a root exists. An infinite subset of the positive integers is unbounded, so a fixed integer divisible by all those must be zero. Hence all periods of the holomorphic function vanish.
Fix . Since a domain is connected and open, its points can be joined by piecewise smooth paths. Vanishing periods make
independent of path. It is a holomorphic primitive with . Differentiating gives , so . Choose a complex number with . Then
This constructs a global holomorphic logarithm without requiring to be simply connected.