theorem Th4: :: CONVEX4:4

for V being non empty addLoopStr
for A being Subset of V holds ZeroCLC V is C_Linear_Combination of A