The formula is .
Consider .
Apply product-to-sum property : .
If , . (Since )
Thus, .
If , then
(Since )
.