Definition:Degree of Field Extension