Lema de Schwartz

Sea Holomorfa en un abierto del plano complejo que contiene el Disco tal que . Entonces:

1. Para todo se verifica que .
3. Si existe tal que , entonces es una rotación entorno del origen (es decir: existe tal que para todo ).
4. Si entonces es una rotacion entorno del origen.