We are given that angle ABC and are congruent, and that angle GHI and angle DEF are congruent. By the , the measure of angle ABC is equal to the measure of angle DEF, and the measure of angle GHI is equal to the measure of angle DEF. By the substitution property, the measure of angle ABC is equal to .