theorem Th33: :: RUSUB_4:33

for V being non empty addLoopStr
for M being Subset of V
for v being Element of V holds {v} + M = v + M