Consider the diagram and proof by contradiction. Given: △abc with ∠b ≅ ∠c prove: ab ≅ ac triangle a b c is shown. Angles a b c and b c a are congruent. Which would prove that ab ≅ ac? converse of the isosceles triangle theorem substitution definition of congruency converse of the triangle parts relationship theorem.