Which property is illustrated by the following statement if ABC is congruent to def and def to xyz then ABC is congruent to xyz?