theorem :: SERIES_5:26

for a, b, c being positive Real st a > b & b > c holds
b / (a - b) > c / (a - c)