Sea $n \geq 2$ un entero positivo y defina $k$ como el número de primos $\leq n$ . Sea $A$ un subconjunto de $S = \{2,...,n\}$ tal que $|A| \leq k$ y no hay dos elementos en $A$ que se dividan entre sí. Demuestre que se puede encontrar un conjunto $B$ tal que $|B| = k$ , $A \subseteq B \subseteq S$ y no hay dos elementos en $B$ que se dividan entre sí.