Euler Formula for Sine Function/Real Numbers

Theorem
for all $x \in \R$.