But by the definition of congruent, we know the measure of angle B equals the measure of by the given statement. Therefore, we have a contradiction: AB = AC, and AB ≅ AC.