If formula_19 is a complete regular local ring that contains a field, then:formula_20,where formula_9 is the residue field, and formula_22, the Krull dimension.
Если formula_19 — полное регулярное локальное кольцо, содержащее некоторое поле, то: formula_20,где formula_8, а formula_22 — размерность Крулля.