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