for a, b being Real holds (sin . b) - (sin . a) = integral (cos,a,b)