theorem Th46: :: MIDSP_1:46

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