theorem :: FINANCE5:7

for r being Real
for I being TheEvent of r holds I is Event of Borel_Sets