theorem Th43: :: MIDSP_1:43

for M being MidSp
for u, v, w being Vector of M holds (u + v) + w = u + (v + w)