Congruence of Quotient/Proof 2

Proof
From Congruence by Product of Moduli, we have that:
 * $\dfrac a d \equiv \dfrac b d \pmod {n / d} \iff d \dfrac a d \equiv d \dfrac b d \pmod {n / d} \iff a \equiv b \pmod n$