theorem Lm29d1: :: FUZZY_7:48

for a1, c, a2, d being Real st c > 0 & d > 0 & a1 < a2 holds
((integral ((AffineMap ((d / c),(- ((d / c) * (a1 - c))))),['(a1 - c),a1'])) + (integral ((AffineMap (0,d)),['a1,a2']))) + (integral ((AffineMap ((- (d / c)),((d / c) * (a2 + c)))),['a2,(a2 + c)'])) = d * ((a2 - a1) + c)