Sean $A$ y $B$ enteros positivos. El conjunto $S$ tiene las siguientes propiedades: Para cada entero no negativo $k$ , $A^k \in S$ ; Si $n \in S$ , entonces todos los divisores positivos de $n$ también pertenecen a $S$ ; Si $m$ , $n \in S$ , y $m$ y $n$ son relativamente primos, entonces $mn \in S$ ; Si $n \in S$ , entonces $An+b \in S$ . Demuestra que para cualquier $p$ que sea relativamente primo con $B$ , $p \in S$ .