Sea Holomorfa en un abierto conexo y supongamos que en su módulo alcanza un máximo local, es decir: existe un Disco tal que
Entonces, es constante en . Es decir: el módulo de una función Holomorfa no constante en un abierto conexo no puede alcanzar un máximo local en un Punto interno de .