for F being Field
for p being non constant Element of the carrier of (Polynom-Ring F)
for E being SplittingField of p holds E == FAdj (F,(Roots (E,p)))