theorem :: FUZZY_8:45

for a, b, c, p, q being Real st a < b & b < c holds
((AffineMap (p,q)) | [.a,b.]) +* ((AffineMap (p,q)) | [.b,c.]) = (AffineMap (p,q)) | [.a,c.]