Schwarz lemma

Statement

Let $\mathbb{D} = \{z \in \mathbb{C} : |z| < 1\}$ be the open unit disc. Let $f : \mathbb{D} \to \mathbb{D}$ be holomorphic on $\mathbb{D}$ with $f(0) = 0$. Then $|f(z)| \le |z|$ for each $z \in \mathbb{D}$, and $|f'(0)| \le 1$. If $|f(z_0)| = |z_0|$ for some $z_0 \neq 0$ in $\mathbb{D}$, or if $|f'(0)| = 1$, then there is $a \in \mathbb{C}$ with $|a| = 1$ such that $f(z) = a z$ for each $z \in \mathbb{D}$.