Lemma 3
Tag 0COG, permanent. Cite it as [Bourbaki, Tag 0COG].
Commutative Algebra, chapter VIII, § 4. Séries de Hilbert-Samuel
If and are two -good filtrations on , there exists an integer such that for every . In fact, there exists such that for every , hence for every .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.