Applying Artin-Rees lemma