"Considere uma função
não constante e analítica num domínio 
. Portanto, a função conjugada de também é analítica em ."Para f sendo constante, é fácil mostrar que satisfaz as equações de Chauchy-Riemann, e, portanto, a conjugada também é analítica, mas e para uma função não constante? Não consigo visualizar.
.
: