theorem :: FIELD_9:62

for F being non 2 -characteristic Field
for p being quadratic Element of the carrier of (Polynom-Ring F) holds
( F is SplittingField of p iff DC p is square )