[Duda acerca de congruencias]

Buenas gente, tengo esta duda que creo que es así pero pregunto por las dudas.

Tengo

ax Ξ b (m)

Supongamos que a y b son multiplos y b >= a . Puedo "pasar" dividiendo a ? Yo creo que esto vale solo cuando** (a : m) = c el cual divide a b**, no es asi?

Muchas gracias.

Podes pasar dividiendo a siempre y cuando (a:m)=1, no importa si divide a b o no. Aunque si divide a b lo podes cancelasr directamente (en las condiciones de antes). Si no se da el caso de que (a:m)=1, suponete que (a:m)=d, la ecuacion que se deduce es x=b/a(m/d).
Espero que sea de ayuda

Muchas Gracias!