theorem Th43: :: RLVECT_2:43

for V being RealLinearSpace
for L being Linear_Combination of V holds 0 * L = ZeroLC V