theorem Th39: :: BSPACE:39

for X being finite set holds Lin (singletons X) = bspace X