theorem :: INTEGRA8:38

for a, b being Real st a <= b holds
integral ((Cst 1),a,b) = b - a