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