theorem A1: :: FINANCE6:1
].0,+infty.[ is Element of Borel_Sets