If n ≡ a (mod m) and d | m and d | a, then:
n ≡ a/d (mod m/d)
n/d ≡ a/d (mod m/d)
n ≡ a (mod d)
d | n