Double angle identities proof, However, the former is correct