 Thus is also finite, as well as the sub extensions , and (if ).It follows that , "st" and 1/"s" are all algebraic.An "algebraic extension" is an extension such that every element of "L" is algebraic over "K".