I'm not sure how to prove $n\in \mathbb{Z}^+$ is divisible by $d \in \mathbb{N}$ such that $n \equiv o \pmod d$
I get that I have to prove the cases of (1) if $d\mid n$ then $n\equiv 0 \pmod d$, and (2) if $n\equiv 0 \pmod d$, then $d\mid n$. But I don't know how to prove them. So, what's the proof for case 1? I think I can figure out 2 from there.