theorem Ko1: :: FINANCE2:1

( 1 in REAL & - 1 in REAL )