(En esta respuesta todas las variables son números enteros, es decir, elementos de $\mathbb{Z}$.)
Por la definición de divisibilidad nos da que $\;n a = b\;$ y $\;m b = c\;$ $\;n\;$ y $\;m\;$. Ahora se nos pide encontrar una $\;k\;$ $\;k*a = c\;$ que:
\begin{align} & ka = c \ \equiv & \;\;\;\;\;\text{"use the only fact we know about %#%#%"} \ & ka = mb \ \equiv & \;\;\;\;\;\text{"use the other fact"} \ & ka = mna \ \Leftarrow & \;\;\;\;\;\text{"weaken using Leibniz' rule -- to achieve our goal"} \ & k = m*n \ \end {Alinee el}
Por lo tanto hemos encontrado tal $\;c\;$ y por lo tanto demostrado $\;k\;$.