有理関数体K(X1,･･･Xn)は,多項式環K[X1,･･･Xn]を含む最小の体である
ことの証明教えて貰えますでしょうか？

また代数学の初心者向けのサイトを知ってる方教えていただけないでしょうか