Noetherian ring
The lemma is similar to the Eakin–Nagata theorem, which says: if "C" is finite over "B" and "C" is a Noetherian ring, then "B" is a Noetherian ring.