theorem z23: :: FIELD_9:41

( X^2+X = X_ *' X-1 & Roots X^2+X = {(0. (Z/ 2)),(1. (Z/ 2))} )