Demuestra que existe una constante real positiva $C$ tal que para cualquier natural $H,N$ que satisfaga $H \geq 3, N \geq e^{CH}$ , para cualquier subconjunto de $\{1,2,\ldots,N\}$ con tamaño $\lceil \frac{CHN}{\ln N} \rceil$ , se pueden encontrar $H$ naturales en él tales que el máximo común divisor de cualquier par de elementos es el máximo común divisor de todos los $H$ elementos.