Set . Since , its modulus is . The Liouville theorem again makes constant, and implies . Hence is a constant . If , then . If , then never vanishes and implies . In either case is constant. This is also an application of the one-sided product bound for an entire function after rotating by .
Use the one-sided product bound for an entire function by considering
This is an entire function, and gives . If , then everywhere. The Liouville theorem therefore makes constant.
Because an exponential never vanishes, differentiating yields , and hence . Thus is constant. If that constant is zero, ; otherwise takes values in the two square roots of one nonzero constant. Continuity on the connected space prevents switching between those two values. Therefore is constant.