Reflexive Property of Equality:
m
1. ≅
2. =
3. ~
Substitution Property of Congruence:
If
1.
2.
3.
