Primitive of Sine Function

Theorem

 * $\displaystyle \int \sin \left({x}\right) \ \mathrm dx = - \cos \left({x}\right) + C$

Proof
From Derivative of Cosine Function, we have:
 * $\dfrac{\mathrm d}{\mathrm dx} \left(-\cos \left({x}\right)\right) = \sin \left({x}\right)$

The result follows from the definition of indefinite integral.