# Zariski's finiteness theorem

Given a normal domain A, finitely generated as an algebra over a field k, if L is a subfield of the field of fractions of A containing k such that $\displaystyle{ \operatorname{tr.deg}_k(L) \le 2 }$, then the k-subalgebra $\displaystyle{ L \cap A }$ is finitely generated.