degree of an extension