Cosine of Integer Multiple of Argument/Formulation 3

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