Transitive property of congruence module n:

For all integers a,b, and c
If a ≡ b (mod n), and b ≡ a (mod n), then a ≡ c (mod n)