theorem ZV5: :: FINANCE2:12

NAT is Event of Borel_Sets