>>278ヨンだ。やっぱりだめっぽいな。う〜んなんとかならんかな？
　
　RがNoether-local-normal⇔任意の整域の拡大R⊂Sは××
　
みたいな××がないもんだろうか？