examen 2022 2

[emivenezian]

Hola, en la primera direccion tengo lo mismo que la pauta, pero no me queda claro como concluyen en el finalmente.

"Finalmente, como d divide a m1 y a m2 (por ser el maximo comun divisor entre ambos) obtenemos que MCD(m1, m2)|(a1 − a2).

[c4e]

Hola!

En la última ecuación antes del "finalmente", si dividimos por $d$ a ambos lados, como tanto $m_1$ como $m_2$ son divisibles por d, en el lado derecho queda un número entero, por lo que $\frac{a_1 - a_2}{d}$ también debe ser un número entero, lo que equivale a decir que $d | (a_1 - a_2)$.