Primitive of Square of Sine Function/Corollary

Corollary to Primitive of Square of Sine Function

 * $\ds \int \sin^2 x \rd x = \frac {x - \sin x \cos x} 2 + C$

where $C$ is an arbitrary constant.