Double Angle Formulas/Sine/Corollary