theorem Th2: :: CONVEX4:2

for V being non empty addLoopStr
for v being Element of V holds (ZeroCLC V) . v = 0c