theorem Th40: :: BSPACE:40

for X being finite set holds singletons X is Basis of (bspace X)