The identity is .
(Apply sum of angles formula )
(The values of )
(Apply sum of angles formula )
(The values of )
(Simplify)
(Add)
(Simplify)
is an identity.