Remark. another definition of separable extension [1708]

In some literature, a finite extension $K / F$ is defined to be separable if $$ \# \{ F\text{-embeddings } \varphi : K \to \overline{F} \} = [K : F]. $$