theorem Th23D: :: FUZZY_6:47

for a, b, c, d being Real st c <= d holds
integral ((AffineMap (a,b)),c,d) = (((1 / 2) * a) * ((d * d) - (c * c))) + (b * (d - c))