Cosine of Integer Multiple of Argument

Theorem
For $n \in \Z_{>0}$: