theorem naH2: :: FIELD_9:33

for F being non 2 -characteristic Field
for a being Element of F holds
( X^2- a is reducible iff a is square )