Set . It is entire, and makes . By the just-proved Liouville theorem, is constant. Differentiation gives . The exponential never vanishes, so everywhere and is constant. This is the entire function confined to a half-plane is constant principle.