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