K を体、SをKのある拡大体の有限部分集合としたとき、
K[S] = K(S) ⇒ S の元はすべてK上代数的
っていう命題を簡単に（ネーターの正規化定理とか使わずに）
示すことってできる?