Primitive of Cosine Function

Theorem

 * $\displaystyle \int \cos x \rd x = \sin x + C$

where $C$ is an arbitrary constant.