theorem TC1: :: FIELD_9:29

for F being non 2 -characteristic Field
for p being quadratic Polynomial of F holds
( Roots p <> {} iff DC p is square )