theorem Th73: :: MEASUR12:72

for A being Interval holds A in Borel_Sets