theorem Th28: :: BSPACE:28

for X being set
for x being Element of (bspace X) holds (1_ Z_2) * x = x