theorem Th48: :: RLVECT_2:48

for V being RealLinearSpace
for L being Linear_Combination of V holds 1 * L = L