同余同除性在什么时候成立？证明？

即 如果 $a\equiv b\pmod p$ ,那么 $a/c\equiv b/c\pmod p$