Krull intersection theorem for modules

Statement

Let $R$ be a Noetherian ring and $I$ be an ideal inside $R$.

• If $M$ is a finitely generated $R$-module, then there exists $r\in I$ such that:

$(1-r)(\bigcap _1^{\mathrm{\infty }}{I}^{j}M)=0$

• If $R$ is an integral domain or a local ring and $I$ is a proper ideal then:

$\bigcap _1^{\mathrm{\infty }}{I}^j=0$

Results used

• Artin-Rees lemma
• Nakayama's lemma