Sea $A_1,A_2,...$ una secuencia de conjuntos tal que para cualquier entero positivo $i$, hay solo un número finito de valores de $j$ tales que $A_j\subseteq A_i$. Demostrar que existe una secuencia de enteros positivos $a_1,a_2,...$ tal que para cualquier par $(i,j)$ se cumple $a_i\mid a_j\iff A_i\subseteq A_j$.