Corollaire

Soient $p$ l’exposant caractéristique de $K$, $\overline{K}$ une clôture algébrique de $K$, $K_s$ la fermeture séparable de $K$ dans $\overline{K}$ et $K^{p^{-\infty}}$ la clôture parfaite de $K$. Alors l’homomorphisme canonique de $K^{p^{-\infty}} \otimes K_s$ dans $K$ est un isomorphisme.