theorem Th22: :: BSPACE:22

for X being set holds bspace X is add-associative