theorem :: COMPLEX3:78

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