Julio R. Bastida. defined by m It then follows that / =£ 0 and m f(al,a2,...,an)= £ /,(a ,.«2 a«-i)< m i = 0 which implies that A is algebraically dependent over K. D Let A" be a field, and let L be an extension field of K. By a transcendence base of L ...