theorem Th24: :: BSPACE:24

for X being set holds bspace X is right_complementable