Inter-universal geometry と ABC 予想 43

(∀x∈R)&(∀y∈R)e^z:=(e^x)*cis(y)
∵ cis(θ)=cos(θ)+i*sin(θ) by The Oxford