（オレ様の大予想）
　Aが整域のとき
　Aが正規環⇔任意の整域の拡大A⊂Bが平坦

Counterexamples are ginen by Segre products in characteristic zero since
they are not big Cohen Macaulay algebras.