Schwarz 引理

設 在 單位圓盤 上解析，並假設

1. 對於所有 且

2. .

則 且 。

如果 對於某個 成立，或者如果 ，則 是一個旋轉，即， 對於某個復常數 ，其中 。