테일러 시리즈 사용하지 않고, 그냥 미적분으로 

한 복소수에 대해 z=f(theta)라고 보고 미분,적분해서 z=e^(itheta)임을 보이려고 했는데


여기에서 lnz=itheta+C가 도출되잖아 필연적으로... 그런데 lnz를 정의하려면 로그를 복소범위까지 확장할 수 있다는 보장이 있어야할 것 같은데... 어떻게 해야해?