Quintuple Angle Formulas/Sine/Proof 1