More details proof characterization separable field extensions

Thanks to Filip Chindea
http://stacks.math.columbia.edu/tag/030W#comment-387