Lemma 15.32.5. Let $A$ be a ring. Let $I \subset J \subset A$ be ideals. Assume that $J/I \subset A/I$ is a $H_1$-regular ideal. Then $I \cap J^2 = IJ$.

Proof. Follows immediately from Lemma 15.30.9 by localizing. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).