1: \begin{abstract}

2: 	Suppose that finitely many disjoint open arcs have been selected

3: 	on the unit circle, each of length less than $\pi$. Let $L_0$

4:         be a longest among them. One can treat the unit disk as a hyperbolic 

5:         plane in 

6:         the Poincare disk model. From this perspective each arc $L$ of the selected set

7:         determines a hyperbolic half-plane bounded by the 

8:         geodesic curve $I$ joining endpoints of the arc $L$. Remove from the unit disk 

9:         all these hyperbolic half-planes. The remaining domain is simply 

10:         connected and contains the origin. Now map this domain conformally onto the unit

11: 	disk so that the origin stays fixed. After this map, the boundaries of the

12: 	hyperbolic half-planes appear as disjoint arcs on the unit circle.

13: 	Let  $I'_0$ be the conformal image of the boundary of the hyperbolic half 

14:         plane determined

15:         by the arc $L_0$.

16: 

17:         In \cite{velling} J.~Velling conjectured that 

18:            \be{eq:velling_conj}

19:            |I'_0| \ge |L_0|\,,

20:            \ee

21: 	where $|\cdot|$ stands for the Euclidean length. He proved some conditional theorems 

22:         based on validity of this conjecture. 

23:         %These theorems relate to Nielsen kernels of Riemann

24: 	%surfaces of the second kind. For example, if the answer to the above

25: 	%question is affirmative, then the infinite Nielsen kernel ${\cal R}\sb

26: 	%{-\infty}$ of a Riemann surface ${\cal R}\sb 0$, uniformized by a Fuchsian

27: 	%group of the second kind, has no interior.

28: 

29: 	In this note we prove a theorem which implies the J.~Velling conjecture

30: 	and thus converts the conditional theorems in \cite{velling}

31: 	into true ones.

32: \end{abstract}

33: