Artin–Rees lemma
lemma stating that, given an ideal I in a Noetherian commutative ring R and a submodule N of a a finitely generated R-module M, there exists a positive integer k such that, for every n≥k, IⁿM ∩ N = Iⁿ⁻ᵏ(IᵏM ∩ N)
lemma stating that, given an ideal I in a Noetherian commutative ring R and a submodule N of a a finitely generated R-module M, there exists a positive integer k such that, for every n≥k, IⁿM ∩ N = Iⁿ⁻ᵏ(IᵏM ∩ N)
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).