Sin Reduction Formula Proof