Lemma 1 (Zariski’s lemma).
The case is clear. Now suppose and not all are algebraic over .
Wlog we may assume are algebraically independent and each element is algebraic over . Hence is a finite algebraic extension of and therefore is a finitely generated -module.
The above proposition applied to shows that is finitely generated as a -algebra, i.e .