Primitive of Cosine Function

Theorem

 * $\displaystyle \int \cos x \ \mathrm dx = \sin x + C$

where $C$ is an arbitrary constant.