Lemma 10.38.4. Suppose $\varphi : R \to S$ is integral. Suppose $I \subset R$ is an ideal. Then every element of $IS$ is integral over $I$.

Proof. Immediate from Lemma 10.38.3. $\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).