theorem naH: :: FIELD_9:32

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