for X being set holds singletons X is linearly-independent