Why corollary of Area theorem that under the same hypothesis, $|a_1| \leq 1$ is obvious :)
Area theorem: If $F$ is holomorphic in $\mathbb{D}\setminus \{0\}$, $F$ is one-to-one in $\mathbb{D}$, and $$F(z)=\frac{1}{z}+\sum_{k=0}^{\infty}a_k z^k, \quad z \in \mathbb{D}$$ then $$\sum_{k=1}^{\infty}k |a_k|^2 \leq 1.$$
And why we can say that in $F(z) \quad z \in \mathbb{D}$? What with $0$? Here $\mathbb{D}$ is unit disc.