Power Reduction Formulas/Cosine Squared/Proof 1