Definition:Degree of Algebraic Number