Exercise 3, § 7

Soit $K$ une extension de type fini d’un corps $k$ ; prove that the following conditions are equivalent:

(i) the $k$-algebra $K$ is formally smooth ; (ii) the $k$-algebra $K$ is formally étale ; (iii) $K$ is a finite separable extension of $k$.