Proposition. algebraic closure $\iff$ algebraically closed [1605]

Let $\Omega$ be an algebraic field extension of $F$. Then $\Omega$ is an algebraic closure of $F$ if and only if $\Omega$ is algebraically closed.