for F being non 2 -characteristic Field
for p being quadratic Polynomial of F holds
( card (Roots p) = 1 iff DC p = 0. F )