for X being finite set
for A being Subset of X ex l being Linear_Combination of singletons X st Sum l = A