Lemma 15.43.7. Let $A$ be a Noetherian local ring. If $A^\wedge$ is normal, then so is $A$.

Proof. As $A \to A^\wedge$ is faithfully flat this follows from Algebra, Lemma 10.164.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).