Cos2x Identity Proof