theorem :: MEASURE6:24

for x being Real
for A being Subset of REAL st A = REAL holds
x ++ A = A