Quiero probar la siguiente ecuación: (dm, dn) = d\cdot(m,n) donde (m, n) = \gcd(m,n) \\ (dm, dn) = \gcd(dm,dn) he intentado esto: (dm, dn) \rightarrow \exists g_1 \in Z: g_1 | dm, g_1 | dn \rightarrow g_1 | (dm\cdot x + dn\cdot y) \rightarrow g_1 | d\cdot (mx + ny) \\ \rightarrow g_1 = \frac {d\cdot (mx + ny)} {t} y el mismo (m,n): g_2 = \frac {mx + ny} {t} si insertan g_1 g_2 obtener: d\cdot\frac {mx + ny} {t} = d\cdot \frac{mx+ny}{t}
¿Es esto correcto?