Congruence of number lines:
Proof: Since we know that A is congruent to B, then B is congruent to A. (symmetric)
Since A is congruent to B, and B is congruent to C, then A is congruent to C(transitive)
And A must be congruent to itself, being on the number line.(reflexive)
Thus the statement is proved 🙂