Antes que nada felices fiestas

Quería saber si esto es correcto, estoy dando mis primeros pasos en matemáticas por mi cuenta, y quiero ver si lo que hago es correcto y riguroso, gracias por vuestro tiempo.
Denotaremos por \( (b) \) el conjunto de los múltiplos de \( b \in \mathbb{Z} \)
TeoremaDados \( a,b \in \mathbb{Z} \), \( (b)=(c){\Leftrightarrow{}} b=\pm{c} \).
Demostración.
A) \( (b) = (c) \Rightarrow{} b=\pm{c} \)
Si b es cero, entonces c lo es también, y viceversa. En otro caso: dos conjuntos son iguales si y sólo si tienen los mismos elementos, luego b debe ser múltiplo de c, es decir, existe un \( k_{1} \in \mathbb{Z} \) tal que \( b=k_{1}c \), y por otro lado, c debe ser múltiplo de b, es decir, existe un \( k_{2} \in \mathbb{Z} \) tal que \( c=k_{2}b \).
Ahora \( b=k_{1}c=k_{1}k_{2}b \Rightarrow k_{1}k_{2}=1 \) y como son enteros las soluciones es que los dos son uno o menos uno, como queriamos demostrar.
B)
La segunda implicación es inmediata.
Un saludo