The field $C$ is an algebraic closure for $F$ Let $E/F$ be an algebraic extension and $C$ be an algebraic closure of $E$.
I want to show that the field $C$ is an algebraic closure also for $F$. 
I have done the following:
$C$ is an algebraic closure of $E$, i.e., each polynomial of $E[x]$ has all the roots in $C$. Let $f\in F[x]$ be a non-zero polynomial. 
Since $E$ is an extension of $F$, we have that $f\in E[x]$. 
So, each polymnomial of $F[x]$ has all the roots in $C$. 
To conclude that $C$ is an algebraic closure also for $F$, it is left to show that $C/F$ is algebraic, or not? 
So, we have to show that each element of $C$ is algebraic over $F$, i.e., for each element $c\in C$ there is a non-zero polynomial $g(x)\in F[x]$, such that $g(c)=0$. 
To show that we have to use the fact that $C/E$ is algebraic, or not? But how exactly? 

A field extension $C$ of $F$ is an algebraic closure if


*

*$C$ is algebraically closed;

*$C$ is algebraic over $F$.


Property 1 is clearly satisfied.
Now, let's prove that if $K$ is algebraic over $L$ and $M$ is algebraic over $K$, then $M$ is algebraic over $L$. This will show property 2.
Let $c\in M$. Then $c$ satisfies a nonzero polynomial $f(x)\in K[x]$. If $f(x)=a_0+a_1x+\dots+a_nx^n$, then $c$ is algebraic over $L'=L(a_0,a_1,\dots,a_n)$, which is finite dimensional over $L$ (see “key fact” below).
By the “key fact”, $L'(c)$ is finite dimensional over $L'$. Thus
$$
[L'(c):L]=[L'(c):L'][L':L]
$$
so $c$ belongs to a finite dimensional extension of $L$ and therefore it is algebraic over $L$.

Key fact If $E$ is an extension field of $F$ and $c\in E$, then
  
  
*
  
*$c$ is algebraic over $F$ if and only if $F(c)$ is finite dimensional over $F$;
  
*if $E$ is finite dimensional over $F$, then $E$ is algebraic over $F$.

