Sea $M$ el conjunto de enteros positivos que no tienen un divisor primo mayor que 3. Para cualquier familia infinita de subconjuntos de $M$ , digamos $A_1,A_2,\ldots $ , demostrar que existen $i\ne j$ tales que para cada $x\in A_i$ existe algún $y\in A_j $ tal que $y\mid x$ .