theorem cz2a: :: FIELD_9:35

- (1. (Z/ 2)) = 1. (Z/ 2) by FIELD_3:4, RLVECT_1:def 10;