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