Reduction Formula for Definite Integral of Power of Cosine/Corollary 1