Zariski's lemma
Theorem. Let $K\subset L$ be a field extension. Suppose $L$ is a finitely generated $K$ algebra. Then $L$ is a finite field extension.
Theorem. Let $K\subset L$ be a field extension. Suppose $L$ is a finitely generated $K$ algebra. Then $L$ is a finite field extension.