このときMのすべての極大正則列x1,...,xn、ただし各xiはm{\displaystyle{\mathfrak{m}}}に属する、はMのm{\displaystyle{\mathfrak{m}}}-深度と同じ長さnをもつ。
显然，仅当这部分很清楚，因为这n的函数x1,...,xn的每一个都是从M到R{\displaystyle{\mathbb{R}}}的光滑函数。