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