The reduction identity is .
Consider left hand side identity : .
Apply cosine difference identity : .
= Right hand side identity.
.