theorem :: MEASURE6:30

for A being Interval
for x being Real holds x ++ A is Interval