Reflective Property of Congruence:
1. =
2. ~
3. ≅
Transitive Property of Congruence:
If
1. m
2.
3.
