theorem Th23: :: BSPACE:23

for X being set holds bspace X is right_zeroed