Definition:Degree of Algebraic Number over Field