theorem Th32: :: MIDSP_1:32

for M being MidSp
for b being Element of M holds ID M = [b,b] ~