Dado dos conjuntos de puntos $A$ y $B$ que están compuestos por arcos disjuntos finitos en el círculo unitario. Además, la longitud de cada arco en $B$ es igual a $\dfrac{\pi}{m}$ ( $m \in \mathbb{N}$ ) . Denotamos por $A^j$ el conjunto obtenido por una rotación antihoraria de $A$ alrededor del centro del círculo unitario por $\dfrac{j\pi}{m}$ ( $j=1,2,3,\dots$ ) . Demuestre que existe un número natural $k$ tal que $l(A^k\cap B)\ge \dfrac{1}{2\pi}l(A)l(B)$ . (Aquí $l(X)$ denota la suma de las longitudes de todos los arcos disjuntos en el conjunto de puntos $X$ )