(related to Proposition: Euler's Formula)
The famous formula of Euler follows immediately from the definitions of the unit circle in the complex plane and the real functions cosine \(\cos:\mathbb R\mapsto \mathbb R\) and sine \(\sin:\mathbb R\mapsto \mathbb R\).