theorem Th36: :: BSPACE:36

for X being set holds singletons X is linearly-independent