Finitely generated field extension


finitely generated extension is a field extension.