theorem :: FIELD_9:38

for p being quadratic Polynomial of (Z/ 2) holds DC p is square ;