Derivative of Cosine Function/Corollary

Corollary to Derivative of Cosine Function

 * $D_x \left({\cos a x}\right) = -a \sin a x$