theorem Th22: :: RLVECT_2:22

for V being RealLinearSpace
for A being Subset of V holds ZeroLC V is Linear_Combination of A