Euler's equation states that,
From which, the famous identity,
may be deduced.
The following results will be assumed;
By definition 1,
Observe that one may split the summation into two,
Evaluating,
By definition 2 and 3,
By theorem 1,
Hence,