複素数に対して、以下が成り立つ。