theorem :: FINANCE1:1

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