theorem Th72: :: FINANCE5:15

for r being Real holds [.r,+infty.] is Event of Ext_Borel_Sets