Let be an algebraically closed field containing a finite field . Let be the subfield of consisting of elements of that are algebraic over .
Consider the following statements:
S1: is algebraically closed.
S2: is infinite.
Then, which one of the following is correct?