Tagged: degree of field extension