theorem Th23B: :: FUZZY_6:45

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