theorem Th23: :: MEASURE6:23

for A being Subset of REAL
for x being Real holds (- x) ++ (x ++ A) = A