Congruence of Quotient/Proof 1

Proof
By definition of congruence modulo $n$:


 * $a = b + k n$

Dividing through by $d$ (which you can do because $d$ divides all three terms), we get:


 * $\dfrac a d = \dfrac b d + k \dfrac n d$

from which the result follows directly.