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