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