z=a*e^(i*θ)とします（z,aは複素数、iは虚数単位、θは実数）
このときzの共役複素数はaの共役*e^(i*(-θ))ですか？それともa*e^(i*θ)ですか
できれば証明、理由も教えてください