limit as x -> 0 of (cos(a+x) - cos a)/x . (Antw.: -sin a .)