Lemma 37.61.10. Let $f : X \to Y$ be a morphism of schemes. If $Y$ is reduced and $f$ weakly étale, then $X$ is reduced.

Proof. Via Lemma 37.61.4 this follows from the case of rings which is More on Algebra, Lemma 15.104.8. $\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).