kを無限個の元を含む体とし、A=k[a_1,…a_n]を有限生成k代数とする。
このとき
 Aは体⇒Aはk上の代数拡大体

これはどう示すのでしょうか?