1 Determina todos los conjuntos finitos no vacíos \( S \) de enteros positivos que satisfacen \[ {i+j\over (i,j)}\qquad\mbox{es un elemento de S para todos i,j en S}, \] donde \((i,j)\) es el máximo común divisor de \( i \) y \( j \).