Artin–Rees lemma