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