theorem :: FIELD_9:37

card { p where p is quadratic Polynomial of (Z/ 2) : verum } = 4