theorem A1: :: FINANCE6:1

].0,+infty.[ is Element of Borel_Sets