\[По\ условию:\]
\[a = cn;\ \ \ b = cm.\]
\[Получаем:\]
\[a - b = cn - cm = c(n - m);\ \ \]
\[(n - m) \in N.\]
\[так\ как\ (a - b) = c(n - m),\ \]
\[то\ делится\ на\ c\ без\ остатка,\ \]
\[ч.т.д.\]