クルル次元
where formula_9 is the residue field, and formula_37, the Krull dimension.