Un subconjunto $S$ de $\mathbb N$ es eventualmente lineal si existen $k,N\in\mathbb N$ tal que para $n>N,n\in S\Longleftrightarrow k|n$. Sea $S$ un subconjunto de $\mathbb N$ que es cerrado bajo la adición. Demuestra que $S$ es eventualmente lineal.