주기가 L 이고 그 도메인에서 C^1 인 complex-valued function f(x) 가 있을때, |f(x)|=1 이 기껏해야 유한개의 simple roots 만 갖는다고 할때 함수 f가 가져야할 조건이 뭐가 있을까?