Zariski's Lemma

Theorem
Let $K/k$ be a field extension.

Let $K$ be finitely generated as an algebra over $k$.

Then $K/k$ is a finite field extension.