Cosine Exponential Formulation/Real Domain/Proof 1

Proof
Recall the definition of the real cosine function:

Recall the definition of the exponential as a power series:

Then, starting from the :