theorem asymTT3: :: FUZZY_5:6

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) & (s - q) / (- p) = (q - b) / (a + p) )