>実際には,
>e^(z1+z2)=e^z1^・e^z2
>が成り立つことを証明するのに加法定理を使っているので加法定理の証明にはならない.

加法定理を使わない証明もある