theorem Th26: :: RLVECT_5:26

for V being RealLinearSpace holds (0). V is finite-dimensional