Segment AB is congruent to segment AB. This statement shows the property.
Areflexive
Bsymmetric
Ctransitive
Dsubstitution
Areflexive
Bsymmetric
Ctransitive
Dsubstitution