Power Reduction Formulas/Hyperbolic Sine Squared/Proof 1