Geometry: Transitive and Substitution Property Proof
Transitive and Substitution property expresses how angles/segments can replace the other.
Thm16: If an angle or segment is congruent to the same angle or segment then They are congruent
Thm17: If an angle or segment is congruent to congruent angles or segments then They are congruent