theorem Th2: :: FINANCE1:2

for k being Real holds REAL \ ].-infty,k.[ = [.k,+infty.[