theorem Th48: :: INTEGRA1:50
for X, Y being Subset of REAL holds (-- X) ++ (-- Y) = -- (X ++ Y)