Lemma 86.8.3. Let $A$ be a Noetherian ring and let $I$ be an ideal. Let $B$ be an object of (86.2.0.2). If $B$ is rig-étale over $(A, I)$, then $B$ is rig-smooth over $(A, I)$.

Proof. Immediate from Definitions 86.4.1 and 86.8.1. $\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).