オイラーの公式
(this last equality is Euler's formula).