theorem asymTT4: :: FUZZY_5:7

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