Cos Reduction Formula Proof