Double Angle Formulas/Hyperbolic Sine/Proof 3