Sei L der Zerfaellungskoerper von f=X^p-t ueber K=F_p(t). Dann ist L eine rein inseparable Erweiterung von K, denn fuer a=t^1/p gilt in L:

also ist a eine p-fache Wurzel.