Quintuple Angle Formulas/Cosine/Proof 1