Suponga que $M$ es un conjunto infinito de números naturales tal que, siempre que la suma de dos números naturales esté en $M$ , uno de estos dos números también está en $M$ . Demuestre que los elementos de cualquier conjunto finito de números naturales que no pertenecen a $M$ tienen un divisor común mayor que $1$ .