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