theorem Th10: :: MORPH_01:10

for E being non empty add-associative addLoopStr
for A, B, C being Subset of E holds (A + B) + C = A + (B + C)