L/K:拡大体, K^-:Kの代数閉包
このとき、
任意の有限次正規拡大K'/Kに対しL⊗K'が整域ならばL⊗K^-は整域
ってどうすれば示せますか?