theorem Th6: :: FINANCE2:3

number_e in REAL \ INT