ze^z = k (k 상수)의 해집합이 {W_n(k) | n∈Z} 인데

이때 W_a(k) = u+vi 이면

그 켤레 u-vi도 항상 해이므로 

W_b(k) = u-vi 인 b가 존재함

그럼 b를 a로 어떻게 나타냄?

Lambert W가 어떻게 Branching 된건지 잘 모르겠음