ミルナー数
と書くことができるという補題で、定数 k と函数 formula_28 と formula_29 が formula_15 の中に存在するという補題である（ここに formula_28 あるいは formula_29 あるいはその両方は定数のゼロかもしれない）。それで x と y の剰余での函数的な多重度を h として定数と書くことができる。定数函数の空間は、1 で張られるので、formula_33 となる。