一般に、次のとき局所環formula_7は局所環formula_8を支配すると言う。