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