Primitive of x by Cosine of x

Theorem

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

where $C$ is an arbitrary constant.