Primitive of x over Sine of a x

Theorem
where $B_n$ denotes the $n$th Bernoulli number.

Also see

 * Primitive of $\dfrac x {\cos a x}$