theorem Th3: :: SERIES_5:3

for a, b, c being positive Real st a < b holds
1 < (b + c) / (a + c)