trigonometric reduction formulas proof.