調べてもわからなかったので質問させてください。（既出ならすみません。）
Aを整域、KをAの商体、LをKの有限次拡大体、BをAのLにおける整閉包とする。
このときBはA上有限生成な環でしょうか？