theorem :: FINANCE2:19

REAL \ INT is Event of Borel_Sets