The expression is .
(Apply sum of angles formula: )
(The values of )
(Multiply)
(Simplify)
is an identity.