:: deftheorem defDCps defines DC-square FIELD_9:def 22 :
for F being non 2 -characteristic Field
for p being quadratic Element of the carrier of (Polynom-Ring F) holds
( p is DC-square iff DC p is square );