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