theorem asymTT2: :: FUZZY_5:5

for a, b, p, q being Real st a > 0 & p > 0 & (- b) / a < q / p holds
( (- b) / a < (q - b) / (a + p) & (q - b) / (a + p) < q / p & ((a * q) + (b * p)) / (a + p) > 0 )