theorem Th1: :: FUZZY_7:15

for a, b, c being Real st b > 0 & c > 0 holds
for x being Real holds (((AffineMap ((b / c),(b - ((a * b) / c)))) | ].-infty,a.]) +* ((AffineMap ((- (b / c)),(b + ((a * b) / c)))) | [.a,+infty.[)) . x = b - |.((b * (x - a)) / c).|