Quadruple Angle Formulas/Cosine/Proof 1