Cosine Exponential Formulation/Real Domain/Proof 3