 Let "f" be a holomorphic function in the unit disk |"z"| ≤ 1.Suppose that |"f′"(0)| = 1.Then there exists a disc of radius "b" and an analytic function φ in this disc, such that "f"(φ("z")) = "z" for all "z" in this disc.