theorem Th44: :: MIDSP_1:44

for M being MidSp
for u being Vector of M holds u + (ID M) = u