Given that ABC is a triangle where , and , then .
Given that is a triangle where and ,
The sum of any triangle's interior angles is , so we
can subtract from to find the combined
measures of .
Because we know that is equal to , we
can replace with in the equation above.