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?