theorem Th70: :: FINANCE5:13

for a, b being Real holds [.b,a.] is Element of Ext_Borel_Sets