Zariski's Lemma

A basic finiteness lemma in algebra: if A is a finitely generated algebra over a field k and A happens to be a field, then A is a finite (algebraic) extension of k. Equivalently, any element of A is algebraic over k, so finite generation as an algebra collapses to finite dimensionality as a k-vector space.